Model Checking Longitudinal Control in Vehicle Platoon Systems
نویسندگان
چکیده
منابع مشابه
Vehicle Platoon Control with Multi-configuration Ability
Vehicle platoon approaches found in literature deal generally with column formations adapted to urban or highway transportation systems. This paper presents an approach in which each platoon vehicle follows a virtual vehicle, in order to cope with issues such as different platoon geometries. Those different types of formations can be encountered in a wide range of field such as the military or ...
متن کاملPlatoon Simulation of Vehicle Robots According to Vehicle following Model
Vehicle platoon is one of important techniques both for improving the traffic safety and for increasing the traffic network capacity. Vehicle platoon system allows vehicles to drive at the same velocity and to accelerate or brake simultaneously. In this study, we will present the velocity control algorithm of the vehicles in the vehicle platoon and then, apply it to the velocity control of the ...
متن کاملResearch on Longitudinal Tracking Control for a Simulated Intelligent Vehicle Platoon
Intelligent vehicle platoon driving is a process of flexible control based on the coordination between vehicle and highway in intelligent vehicle-highway system. It can improve the velocities and reduce the spacing between vehicles in the platoon, thus, to improve road capacity and road safety. It is the most important for developing intelligent vehicle-highway system to construct intelligent v...
متن کاملLongitudinal Control of Platoon for Electric Vehicle Using Adaptive Neural Networks
In AHS(Automated Highway Systems) project which is one of the ITS (Intelligent Highway Systems), the platoon control is developed. In this paper, a platoon control law based on Adaptive Neural Network (ANN) to lower level and Semi-Autonomous Adaptive Cruise Control (SAACC) to upper level is proposed. Moreover, there is ”Delay” with the communication and the sensor. We design their compensators,...
متن کاملLongitudinal Spacing Control of Vehicles in a Platoon
The Lyapunov stability theorem is used to derive a control law that can be used to control the spacing between vehicles in a platoon. A third order system is adopted to model the vehicle and power-train dynamics. In addition, the concept of "Expected Spacing Error" is introduced and used to form a Lyapunov function. Then a control law that always decreases the Lyapunov function is selected. A p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2935423